Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms

We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations. In this model, irreversible operations cost energy for every bit of information created or destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack to automatically trade energy costs for space costs, and introduces many powerful control logic operators including protected conditional, general conditional, protected loops, and general loops. In this paper, we present the design and compiler for the three language levels of Eel along with an interpreter to simulate and annotate incurred energy costs of a program.Comment: 17 pages, 0 additional figures, pre-print to be published in The 8th Conference on Reversible Computing (RC2016

First-principles investigation of spin polarized conductance in atomic carbon wire

We analyze spin-dependent energetics and conductance for one dimensional (1D) atomic carbon wires consisting of terminal magnetic (Co) and interior nonmagnetic (C) atoms sandwiched between gold electrodes, obtained employing first-principles gradient corrected density functional theory and Landauer's formalism for conductance. Wires containing an even number of interior carbon atoms are found to be acetylenic with sigma-pi bonding patterns, while cumulene structures are seen in wires containing odd number of interior carbon atoms, as a result of strong pi-conjugation. Ground states of carbon wires containing up to 13 C atoms are found to have anti-parallel spin configurations of the two terminal Co atoms, while the 14 C wire has a parallel Co spin configuration in the ground state. The stability of the anti-ferromagnetic state in the wires is ascribed to a super-exchange effect. For the cumulenic wires this effect is constant for all wire lengths. For the acetylenic wires, the super-exchange effect diminishes as the wire length increases, going to zero for the atomic wire containing 14 carbon atoms. Conductance calculations at the zero bias limit show spin-valve behavior, with the parallel Co spin configuration state giving higher conductance than the corresponding anti-parallel state, and a non-monotonic variation of conductance with the length of the wires for both spin configurations.Comment: revtex, 6 pages, 5 figure

Antigens in human glioblastomas and meningiomas: Search for tumour and onco-foetal antigens. Estimation of S-100 and GFA protein.

Extracts of glioblastomas and meningiomas were analysed by quantitative immunoelectrophoresis for the presence of foetal brain antigens and tumour-associated antigens, and levels of 2 normal brain-specific proteins were also determined. The following antibodies were used: monospecific anti-S-100 (glia specific); monospecific anti-GFA (glial fibrillary acidic protein), (astroglia specific); polyspecific anti-foetal brain (12-16th week of gestation); a polyspecific anti-glioblastoma antiserum, absorbed with insolubilized serum, haemolysate and normal brain extract; polyspecific anti-alpha-foetoprotein; and monospecific anti-ferritin. Using the antibodies raised against the tumours, several antigens not present in foetal or adult normal brain were found in the glioblastomas and the meningiomas. These antigens cross-reacted with antigens present in normal liver and were therefore not tumour-associated. S-100 was found in glioblastomas in approximately one tenth the amount in whole brain homogenate, whereas GFA was found 2-4 times enriched. The 2 proteins were absent in meningiomas. The possible use of the GFA protein as a marker for astroglial neoplasia is discussed. Five foetal antigens were found in foetal brain, but none in the tumours. alpha-Foetoprotein could only be demonstrated in foetal tissue extracts, including foetal brain, but not in tumours. Ferritin was detected in all tumour extracts, although the amounts determined were unrelated to histological tumour type

Energy-Efficient Algorithms

We initiate the systematic study of the energy complexity of algorithms (in addition to time and space complexity) based on Landauer's Principle in physics, which gives a lower bound on the amount of energy a system must dissipate if it destroys information. We propose energy-aware variations of three standard models of computation: circuit RAM, word RAM, and transdichotomous RAM. On top of these models, we build familiar high-level primitives such as control logic, memory allocation, and garbage collection with zero energy complexity and only constant-factor overheads in space and time complexity, enabling simple expression of energy-efficient algorithms. We analyze several classic algorithms in our models and develop low-energy variations: comparison sort, insertion sort, counting sort, breadth-first search, Bellman-Ford, Floyd-Warshall, matrix all-pairs shortest paths, AVL trees, binary heaps, and dynamic arrays. We explore the time/space/energy trade-off and develop several general techniques for analyzing algorithms and reducing their energy complexity. These results lay a theoretical foundation for a new field of semi-reversible computing and provide a new framework for the investigation of algorithms.Comment: 40 pages, 8 pdf figures, full version of work published in ITCS 201

The effects of user characteristics on query performance in the presence of information request ambiguity

This paper investigates the effects of personality characteristics on individuals' abilities to compose queries from information requests containing various types of ambiguity. In particular, this research examines the effects of user personality characteristics on query performance in the presence of information requests that contained no extraneous, syntactic, or both extraneous and syntactic ambiguities. The results indicate that personality characteristics significantly affect users' abilities to compose accurate queries. Neuroticism, agreeableness, openness to experience, and conscientiousness significantly affected the number of errors made in the query formulations. Conscientiousness affected the length of time taken to compose the queries and neuroticism affected the confidence users had in the accuracy of their queries. Although several personality dimensions affected query performance, no significant interactions between personality dimensions and ambiguity were detected. Furthermore, both query complexity and information request ambiguity exhibited greater impacts on query performance than personality characteristics. Hence, organizations should attempt to train users to deal with query complexity and information request ambiguity before modifying their training programs for personality characteristics

Protocols for calibrating multibeam sonar

Author Posting. © Acoustical Society of America, 2005. This article is posted here by permission of Acoustical Society of America for personal use, not for redistribution. The definitive version was published in Journal of the Acoustical Society of America 117 (2005): 2013-2027, doi:10.1121/1.1869073.Development of protocols for calibrating multibeam sonar by means of the standard-target method is documented. Particular systems used in the development work included three that provide the water-column signals, namely the SIMRAD SM2000/90- and 200-kHz sonars and RESON SeaBat 8101 sonar, with operating frequency of 240 kHz. Two facilities were instrumented specifically for the work: a sea well at the Woods Hole Oceanographic Institution and a large, indoor freshwater tank at the University of New Hampshire. Methods for measuring the transfer characteristics of each sonar, with transducers attached, are described and illustrated with measurement results. The principal results, however, are the protocols themselves. These are elaborated for positioning the target, choosing the receiver gain function, quantifying the system stability, mapping the directionality in the plane of the receiving array and in the plane normal to the central axis, measuring the directionality of individual beams, and measuring the nearfield response. General preparations for calibrating multibeam sonars and a method for measuring the receiver response electronically are outlined. Advantages of multibeam sonar calibration and outstanding problems, such as that of validation of the performance of multibeam sonars as configured for use, are mentioned.Support by the National Science Foundation through Award No. OCE-0002664, NOAA through Grant No. NA97OG0241, and the Cooperative Institute for Climate and Ocean Research (CICOR) through NOAA Contract No. NA17RJ1223 is acknowledged

Bioinformatic Characterization of P-Type ATPases Encoded Within the Fully Sequenced Genomes of 26 Eukaryotes

P-type ATPases play essential roles in numerous processes, which in humans include nerve impulse propagation, relaxation of muscle fibers, secretion and absorption in the kidney, acidification of the stomach and nutrient absorption in the intestine. Published evidence suggests that uncharacterized families of P-type ATPases with novel specificities exist. In this study, the fully sequenced genomes of 26 eukaryotes, including animals, plants, fungi and unicellular eukaryotes, were analyzed for P-type ATPases. We report the organismal distributions, phylogenetic relationships, probable topologies and conserved motifs of nine functionally characterized families and 13 uncharacterized families of these enzyme transporters. We have classified these proteins according to the conventions of the functional and phylogenetic IUBMB-approved transporter classification system (www.tcdb.org, Saier et al. in Nucleic Acids Res 34:181–186, 2006; Nucleic Acids Res 37:274–278, 2009)